sed -e "s/GRASS_VERSION_NUMBER/$1/" -e "s/GRASS_VERSION_DATE/$2/" -e "s/GRASS_VERSION_UPDATE_PKG/$3/" $4
